Enabledness-based Testing of Object Protocols

A significant proportion of classes in modern software introduce or use object protocols, prescriptions on the temporal orderings method calls objects. This article studies search-based test generation techniques that aim to exploit a particular abstraction protocols (enabledness preserving abstractions (EPAs)) find failures. We define coverage criteria over an extension EPAs includes abnormal termination and case technique aimed at achieving high coverage. Results suggest proposed with fitness function aims combined structural extended EPA can provide better failure-detection capabilities not only for protocol failures but also general when compared random testing standard